Change Dynamics in Higher Education Peter Maassen and Jens Jungblut Department of Education Faculty of Educational Sciences University of Oslo

Source URL: www.minedu.fi

• Youth
• Academia
• University governance
• Accountability
• Governance
• Bologna Process
• Education reform
• University
• Governance in higher education
• Education
• Knowledge
• Higher education

Time Allocation and Task Juggling∗ Decio Coviello HEC Montreal Andrea Ichino University of Bologna

Source URL: nicolapersico.com

Effective Shadow Detection in Traffic Monitoring Applications Alessandro Bevilacqua, Member, IEEE ARCES–DEIS (Department of Electronics, Computer Science and Systems) University of Bologna, Viale Risorgimento, 2 ITALY

Source URL: wscg.zcu.cz

• Optics
• Computer graphics
• Edge detection
• Shadow
• Region growing
• Motion analysis
• Object recognition
• Computer vision
• Image processing
• Imaging

Nonuniform Coercions via Unification Hints Claudio Sacerdoti Coen Enrico Tassi Department of Computer Science, University of Bologna

Source URL: www.cs.unibo.it

• Automated theorem proving
• Logic programming
• Unification
• ALGOL 68
• State space
• Admissible rule
• Programming language theory
• Mathematical logic
• Software engineering

Spurious Disambiguation Error Detection Claudio Sacerdoti Coen and Stefano Zacchiroli Department of Computer Science, University of Bologna [removed], [removed] Abstract. The disambiguation appro

Source URL: www.cs.unibo.it

• Interpretation
• Philosophy of language
• Philosophy of mind
• Semantics
• Symbol
• Structure
• Linguistics
• Golden ratio base
• Linear temporal logic
• Model theory
• Mathematics
• Logic

UITP[removed]A User Interface for a Mathematical System that Allows Ambiguous Formulae Claudio Sacerdoti Coen 1,2 Department of Computer Science, University of Bologna

Source URL: www.cs.unibo.it

• Mathematical logic
• Model theory
• Predicate logic
• Formal languages
• Interpretation
• Ambiguity
• Mathematical notation
• Formal proof
• ALGOL 68
• Logic
• Semantics
• Mathematics

Hints in unification Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen, and Enrico Tassi Department of Computer Science, University of Bologna Mura Anteo Zamboni, 7 — 40127 Bologna, ITALY {asperti,ricciott,sacer

Source URL: www.cs.unibo.it

• Algebra
• Monoid
• Unification
• Semigroup
• Ring
• Inverse element
• ALGOL 68
• Abstract algebra
• Algebraic structures
• Mathematics

Microsoft Word - ecss-website.doc

Source URL: www.informatics-europe.org

• Titles
• ETH Zurich
• Professor
• Bologna Process
• Computer science
• Doctor of Philosophy
• University
• Doctorate
• Informatics Europe
• Education
• Academia
• Knowledge

Molecular breeding: Challenges and perspectives Roberto Tuberosa Dept. of Agroenvironmental Sciences & Technology University of Bologna, Italy The ABDC Congress

Source URL: www.fao.org

• Molecular biology
• Classical genetics
• Molecular breeding
• Agronomy
• Nested association mapping
• Plant breeding
• Quantitative trait locus
• Association mapping
• Genetic linkage
• Genetics
• Biology
• Statistical genetics

Natural deduction environment for Matita Claudio Sacerdoti Coen? and Enrico Tassi? Department of Computer Science, University of Bologna Mura Anteo Zamboni, 7 — 40127 Bologna, ITALY {sacerdot,tassi}@cs.unibo.it

Source URL: www.cs.unibo.it

• Mathematical logic
• Markup languages
• Mathematical markup languages
• Logical syntax
• Automated theorem proving
• Natural deduction
• MathML
• Theorem
• Formal proof
• Logic
• Mathematics
• Proof theory